аксиома существования

См. также в других словарях:

• Аксиома существования минимума — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Аксиома сущ …   Википедия

• Аксиома булеана — Аксиома существования булеана (аксиома множества подмножеств) формулируется так: «из любого множества можно образовать булеан, то есть такое множество , которое состоит из всех собственных и несобственных подмножеств данного множества ». Согласно …   Википедия

• Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… …   Википедия

• Аксиома параллельности Евклида — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат  одна из аксиом, лежащ …   Википедия

• БЕСКОНЕЧНОСТИ АКСИОМА — аксиома формальной или содержательной теории, обеспечивающая на . личие бесконечного количества объектов в рассматриваемой теории. Так, Б …   Математическая энциклопедия

• Аксиома пустого множества — Аксиомой [существования] пустого множества называется следующее высказывание теории множеств Аксиома пустого множества провозглашает существование по меньшей мере одного пустого множества, то есть множества, не содержащего ни одного элемента.… …   Википедия

• Аксиома пары — Аксиомой [существования неупорядоченной] пары называется следующее высказывание теории множеств: Аксиому пары можно сформулировать по русски, а именно: «Из любых двух [одинаковых или разных] множеств можно образовать [по меньшей мере одну]… …   Википедия

• Пятая аксиома в евклидовой геометрии — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах» Евклида [1]: И если прямая, падающая на две прямые, образует внутренние и …   Википедия

• ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… …   Математическая энциклопедия

• Система аксиом фон Неймана — Cистема аксиом фон Неймана  Бернайса  Гёделя (NBG, аксиоматика Гёделя  Бернайса) в метаматематике  одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело  Френкеля с …   Википедия

• Лемма Цорна — Аксиомой выбора (Axiom of choice) называется следующее высказывание теории множеств: Аксиома выбора утверждает: «Для каждого семейства непустых непересекающихся множеств существует [по меньшей мере одно] множество , которое имеет только один… …   Википедия